Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
نویسنده
چکیده
This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.
منابع مشابه
Lingeling and Friends Entering the SAT Race 2015
This is a solver description for our SAT solvers Lingeling, Treengeling and Plingeling entering the SAT Race 2015. We only focus on the difference to their 2014 versions. For further information we refer to previous solver descriptions [1], [2], [3], our POS’14 talk [4] and of course the source code.
متن کاملLingeling, Plingeling and Treengeling Entering the SAT Competition 2013
This paper serves as solver description for our SAT solver Lingeling and its two parallel variants Treengeling and Plingeling entering the SAT Competition 2013. We only list important differences to the version of these solvers used in the SAT Challenge 2012. For further information we refer to the solver description [1] of the SAT Challenge 2012 or source code.
متن کاملCADICAL, LINGELING, PLINGELING, TREENGELING and YALSAT Entering the SAT Competition 2017
This paper serves as a first solver description for our new SAT solver CADICAL and documents the versions of our other solvers submitted to the SAT Competition 2017, which are LINGELING, its two parallel variants TREENGELING and PLINGELING, and our local search solver YALSAT. LINGELING,PLINGELING, TREENGELING,YALSAT Our focus in the SAT Competition 2016 was on our new SAT solver SPLATZ [1]. It ...
متن کاملSplatz, Lingeling, Plingeling, Treengeling, Yalsat Entering the Sat Competition 2016
This paper serves as solver description for our new SAT solver Splatz and further documents the versions of our other solvers submitted to the SAT Competition 2016, which are Lingeling, its two parallel variants Treengeling and Plingeling, and our local search solver YalSAT.
متن کاملP { re , i } coSAT @ SC ’ 09 Armin Biere
In this note we describe the new features of PicoSAT version 913 as it was submitted to the SAT competition 2009. It also contains a description of our new solver PrecoSAT version 236, which tightly integrates various preprocessing techniques into a PicoSAT like core engine.
متن کامل